IR<12:17>
PDP-7の機械語(18ビット)の左から12ビット目〜17ビット目を示すはずだが・・・
変数IRに機械語が入っている時、IR & 067の様に抽出している(Code)
「IR<12:17>」と言うより「IR<12:13,15:17>」では?
デバイスに関する命令(IR<0:4> == 0o34)の時、デバイス内の機能(コード内ではpulseと表現)を示す